Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
141	Semantic analysis for arrays, structures and pointers Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:40:16 Procedural programming languages Data types C++ Pointer Static program analysis C ALGOL 68 Fortran Array data type Computing Software engineering Computer programming
142	Integrating Conflicting Data: The Role of Source Dependence Add to Reading List Source URL: www.norc.org Language: English - Date: 2012-07-10 17:39:22 Static program analysis Rope Accuracy and precision Data dependency Bloom filter Statistics Thought Dependence analysis
143	V viewpoints DOI: Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-17 18:22:37 Program analysis Programming language theory Setjmp.h Dynamic programming language Type system Eval Static program analysis JavaScript Programming language Software engineering Computing Control flow
144	Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† , Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Debugging Program analysis Program slicing Program transformation Software maintenance Static single assignment form Subroutine Algorithm Stack Computing Computer programming Software engineering
145	On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-09-22 04:04:19 Network flow Matroid theory Control flow graph Graph Depth-first search Static single assignment form Connected component Connectivity Tree Graph theory Mathematics Compiler construction
146	Dynamic Inference of Static Types for Ruby † Jong-hoon (David) An† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-11-10 09:03:55 Program analysis Type system Type theory Function Objective-C Mathematical optimization Closure Software engineering Computing Computer programming
147	On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-09-22 04:01:20 Theoretical computer science Static single assignment form Control flow graph Applied mathematics Representation theory Graph Control flow Signal-flow graph Compiler construction Graph theory Mathematics
148	CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-08 09:17:10 Face recognition Grandes écoles FERET Programming language theory Écoles Normales Supérieures École Normale Supérieure Static program analysis Software engineering Artificial intelligence Abstract interpretation Astrée Patrick Cousot
149	Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† , Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Debugging Program analysis Program slicing Program transformation Software maintenance Static single assignment form Subroutine Algorithm Stack Computing Computer programming Software engineering
150	Motivation Both human- and computer-generated programs sometimes contain data-flow anomalies. These anomalies result in the program being worse, in some sense, than it was intended to be. Data-flow analysis is useful in Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-02 06:00:00 Compiler optimizations Procedural programming languages Compiler construction Source code Data-flow analysis C Static single assignment form Dead code ALGOL 68 Software engineering Computing Programming language theory

UPDATE